The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself

The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself

2 Background 1 2.1 Logic-Based AI Encapsulated . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2.1.1 LAI is Ambitious . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.1.2 LAI is Based on Logical Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

Cognitive Illusions and the Welcome Psychologism of Logicist Artificial Intelligence

We begin by using Johnson-Laird’s ingenious cognitive illusions (in which it seems that certain propositions can be deduced from given information, but really can’t) to raise the spectre of a naive brand of psychologism. This brand of psychologism would seem to be unacceptable, but an attempt to refine it in keeping with some suggestive comments from Jacquette eventuates in a welcome version of...

The Workshop on Logic-Based Artificial Intelligence

In “Abductive and Inductive Reasoning,” F. Buccafurri, T. Eiter, G. Gottlob, and N. Leone provided a first step toward integrating model-checking methods with AI. They developed an abstract concept of a system repair problem that is solved by applying logic-based abduction. S. H. Muggleton and F. A. Marginean noted that datarefinement operators in inductive logic programming have been viewed as...

Logic and Artificial Intelligence

Nilsson, N.J., Logic and artificial intelligence, Artificial Intelligence 47 (1990) 31-56. The theoretical foundations of the logical approach to artificial intelligence are presented. Logical languages are widely used for expressing the declarative knowledge needed in artificial intelligence systems. Symbolic logic also provides a clear semantics for knowledge representation languages and a me...

Logic and Artificial Intelligence